（来源：上观新闻）
软件已经变成“🇨🇴🇷🇺日抛品”，如同过🎪☢去人们配眼镜需🎋前往眼镜店，而现⛪🦚在多使用🆔💟日抛型🏟🔘隐形眼镜，依🖊据不同场🎫🏉景佩戴，使用后即🇫🇯可丢弃🇨🇾。可能很🇻🇬多人会问，这👽🚛样的测试🇫🇯有什么意义🇰🇳。
（来源👌👩❤️💋👩：arX🍿iv） 当🚽🌬前编程智能🥖🛥体之所以会引入这🇲🇴种“细思极恐”🐤🗣型 bug，很✳可能与其训练数据🛂♑中包含了类似的错🗑误代码有💕💊关🎿🧗♂️。然后，给🌺每个函数写一份🎸精确的🧨🉑形式化规约（F🏧🇩🇲ormal🧂 Speci🇳🇪fica🐉tion），即🇪🇦一份用数学语言🍁🤽♀️写成的“说明书”🇵🇪，说明执行🍀🇿🇲函数前程序状态需🇮🇳要满足☀👩👧👧什么条✨件（前置条⬜💆♂️件），执行后函🤗🇸🇳数保证输出🥋🤜什么样的结果✂（后置条件）🌨。
